Thursday, June 13, 2002, 8:30 AM - 10:00 AM | Room: Auditorium A SESSION 37    PANEL: Formal Verification Methods: Getting Around the Brick Wall    Chair: David L. Dill - Stanford Univ., Stanford, CA    Organizers: Nate James, Shishpal Rawat    Formal verification is moving beyond equivalence checking, a world of mathematical models and proofs. As the technology makes transition from "research" to "development", how will designers utilize and benefit from this technology? Pessimists will attempt to bring the technology to the design environment; the optimists want to give them new tools of the trade. Which one will it be? Is the current design environment rich enough to encompass formal verification methods? Can one truly specify a design? Is a new language or framework needed to exploit the new capabilities? How much more do we need to learn to utilize these new capabilities? When will our core engines run out of steam? Our panel of experts consisting of users, tool providers, core engine builders will answer these challenging questions.      37.1 Formal Verification Methods: Getting Around the Brick Wall    Speaker(s): Gerard Berry - Esterel Technologies, Villeneuve-Loubet, France Gunnar Stalmarck - Prover Technology, Stockholm, Swedem Harry Foster - Verplex Systems, Inc., Milpitas, CA Limor Fix - Intel Corp., Haifa, Israel Rajeev Ranjan - Real Intent, Inc., Santa Clara, CA Curt Widdoes - 0-In Design Automation, San Jose, CA